Skip to content

Update CSV framework coverage reports#2

Closed
github-actions[bot] wants to merge 1 commit intomainfrom
workflow/coverage/update
Closed

Update CSV framework coverage reports#2
github-actions[bot] wants to merge 1 commit intomainfrom
workflow/coverage/update

Conversation

@github-actions
Copy link

This PR changes the CSV framework coverage reports.

@github-actions github-actions bot force-pushed the workflow/coverage/update branch 6 times, most recently from 671e671 to 875f7d0 Compare July 6, 2021 00:11
@github-actions github-actions bot force-pushed the workflow/coverage/update branch 7 times, most recently from 909b4b4 to 1b47b5f Compare July 13, 2021 00:10
@github-actions github-actions bot force-pushed the workflow/coverage/update branch 8 times, most recently from 40df81a to 2509374 Compare July 21, 2021 00:11
@github-actions github-actions bot force-pushed the workflow/coverage/update branch 7 times, most recently from 0f9a711 to ba206a1 Compare July 28, 2021 00:11
@github-actions github-actions bot force-pushed the workflow/coverage/update branch 2 times, most recently from aec8ac2 to 948681f Compare July 30, 2021 00:11
@github-actions github-actions bot force-pushed the workflow/coverage/update branch 5 times, most recently from 11b422c to 5884854 Compare August 4, 2021 00:11
@github-actions github-actions bot force-pushed the workflow/coverage/update branch from 5884854 to 5d80b5c Compare August 5, 2021 00:11
@github-actions github-actions bot closed this Aug 6, 2021
yoff pushed a commit that referenced this pull request Dec 6, 2021
This is in order to avoid name clash with the often so-named IPA type for data-
flow nodes. The name clash is not problematic because they are both in scope,
but because (cached) IPA types with overlapping names are known to sometimes
result in re-evaluation of cached stages, when one of the IPA types gets an
internal `#2` suffix in one query run, and the other IPA type gets the suffix
in another run.
yoff pushed a commit that referenced this pull request Mar 29, 2022
yoff pushed a commit that referenced this pull request Oct 11, 2022
DIL before
```
                                                   /* AST::AstNode */ AST#87953007::Cached::TAstNode result) =
  fastTC(AST#a6718388::AstNode::getAChild#0#dispred#ff/2)
.

Synthesis#d9ff06b1::isInDesugaredContext#1#f(/* AST::AstNode */ unique AST#87953007::Cached::TAstNode n)
:-
  exists(int arg1, /* AST::AstNode */ dontcare AST#87953007::Cached::TAstNode _ |
    arg1 = -1, AST#87953007::Cached::getSynthChild#2(_, arg1, n)
  );
  exists(/* AST::AstNode */ AST#87953007::Cached::TAstNode call_result#2 |
    exists(int arg1,
           /* AST::AstNode */ dontcare AST#87953007::Cached::TAstNode _ |
      arg1 = -1, AST#87953007::Cached::getSynthChild#2(_, arg1, call_result#2)
    ),
    #AST#a6718388::AstNode::getAChild#0#dispredPlus#ff(call_result#2, n)
  )
.
```

DIL after
```
incremental
Synthesis#d9ff06b1::isInDesugaredContext#1#f(/* AST::AstNode */ unique AST#87953007::Cached::TAstNode n)
:-
  exists(int arg1, /* AST::AstNode */ dontcare AST#87953007::Cached::TAstNode _ |
    arg1 = -1, AST#87953007::Cached::getSynthChild#2(_, arg1, n)
  );
  exists(/* AST::AstNode */ AST#87953007::Cached::TAstNode any#expr##2 |
    rec Synthesis#d9ff06b1::isInDesugaredContext#1#f(any#expr##2),
    exists(cached dontcare string _ |
      AST#a6718388::AstNode::getAChild#1#dispred(any#expr##2, _, n)
    )
  )
| [base_case]
  exists(int arg1, /* AST::AstNode */ dontcare AST#87953007::Cached::TAstNode _ |
    arg1 = -1, AST#87953007::Cached::getSynthChild#2(_, arg1, n)
  )
| [delta_order]
  exists(/* AST::AstNode */ AST#87953007::Cached::TAstNode any#expr##2 |
    delta previous rec Synthesis#d9ff06b1::isInDesugaredContext#1#f(any#expr##2),
    project#AST#a6718388::AstNode::getAChild#1#dispred(any#expr##2, n)
  ),
  not(previous rec Synthesis#d9ff06b1::isInDesugaredContext#1#f(n))
.
``
yoff pushed a commit that referenced this pull request Jul 17, 2023
…for-unused-parameters-2

Go: make `ParameterNode`s for unused parameters #2 (make a disjoint class for unused ones)
yoff pushed a commit that referenced this pull request Sep 9, 2024
C++: Fix zstd and clean up test
yoff pushed a commit that referenced this pull request Feb 5, 2025
yoff pushed a commit that referenced this pull request Mar 25, 2025
Go: Add database source models for the github.com/couchbase/gocb package (#2)
yoff pushed a commit that referenced this pull request Mar 28, 2025
Go: Add `database` source models for the `squirrel` package (#2)
yoff pushed a commit that referenced this pull request Apr 30, 2025
JS: Add isMiddlewareSetup() hook to Routing model
yoff pushed a commit that referenced this pull request May 12, 2025
Implement first stage cryptography modelling and queries
yoff pushed a commit that referenced this pull request Nov 18, 2025
…8e3d-0895-49ec-9025-a9864c8e5367

Fix generate-code-scanning-query-list.py to handle empty code-quality-extended suites
yoff pushed a commit that referenced this pull request Dec 9, 2025
yoff pushed a commit that referenced this pull request Dec 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants